Indeed, Adleman was thinking about the "Turing machine". 실제로, Adleman "튜링 기계에 대해"생각했다.
An artistic representation of a Turing machine . 2.4 튜링 기계의 “상태” 모식도
He had proved in his 1936 paper that a universal Turing machine existed : 그는 1936 종이에 보편 튜링 기계의 존재를 증명했다 :
The Turing machine could write a symbol on the tape, or delete a symbol from the tape. The 튜링 기계가 테이프에 기호, 또는 테이프에서 기호를 삭제 쓸 수있습니다.
Problems which admit exponential time algorithms on a deterministic Turing machine form the complexity class known as EXP . 결정적 튜링 머신에 대해 지수 시간 알고리즘인 문제들은 EXP로 알려져있는 복잡도 클래스를 만든다.